Concurrency computer science)

Results: 359



#Item
121Parallel computing / Computing platforms / Concurrency control / Speculative multithreading / Java / Bytecode / Thread / Multithreading / Computing / Cross-platform software / Java platform

Software Thread Level Speculation for the Java Language and Virtual Machine Environment Christopher J.F. Pickett and Clark Verbrugge School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada H3A 2A7 {cpi

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2005-10-23 13:38:20
122Concurrency control / Parallel computing / Threads / Speculative / Programming language implementation / Microprocessors / Multithreading / Lock / Fork / Computing / Concurrent computing / Computer architecture

An Optimistic Perspective on Speculative Multithreading Chris Pickett, Richard Halpert Haiying Xu, Clark Verbrugge School of Computer Science, McGill University {cpicke,rhalpe,hxu31,clump}@sable.mcgill.ca

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-02-11 17:39:42
123Invariant / Mathematics / Concurrency / Diagrams / Petri net

Petri Net Analysis using Invariant Generation Sriram Sankaranarayanan, Henny Sipma and Zohar Manna ? Computer Science Department

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2004-01-17 02:11:40
124Cross-platform software / Concurrency control / Programming language implementation / Speculative multithreading / Computing platforms / Multithreading / Thread / Speculative / Java / Computing / Concurrent computing / Parallel computing

Software Speculative Multithreading for Java Christopher J.F. Pickett and Clark Verbrugge School of Computer Science, McGill University {cpicke,clump}@sable.mcgill.ca Allan Kielstra

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-02-11 17:39:43
125Software / Application programming interfaces / Free software / MPICH / Public domain software / Concurrency control / Message Passing Interface / Synchronization / Lock / Computing / Parallel computing / Computer programming

Minimizing Synchronization Overhead in the Implementation of MPI One-Sided Communication Rajeev Thakur, William Gropp, and Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory

Add to Reading List

Source URL: www.mcs.anl.gov

Language: English - Date: 2004-06-22 14:53:20
126Erlang programming language / Functional languages / Ericsson / Erlang / Open Telecom Platform / Concurrent computing / Yaws / Oz / Actor model / Computing / Software engineering / Computer programming

Concurrency Oriented Programming in Erlang Joe Armstrong Distributed Systems Laboratory Swedish Institute of Computer Science

Add to Reading List

Source URL: www.guug.de

Language: English - Date: 2005-09-18 06:27:55
127Computer science / Concurrency / Deadlock / Computing

Explaining deadlock Before your customers can use our service, we give you an opportunity to sort out the dispute. You have up to eight weeks to do this. You do not have to wait for eight weeks to

Add to Reading List

Source URL: www.ombudsman-services.org

Language: English - Date: 2015-04-02 05:47:54
128Concurrency control / Parallel computing / Programming language implementation / Cross-platform software / Threads / Speculative multithreading / Multithreading / Speculative execution / Speculative / Computing / Computer architecture / Concurrent computing

McGill University School of Computer Science Sable Research Group Speculative Multithreading in a Java Virtual Machine Sable Technical Report No

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2005-05-30 18:46:05
129Lock / Deadlock / Non-blocking algorithm / Critical section / Linearizability / Parallel computing / Two-phase locking / C dynamic memory allocation / OpenMP / Concurrency control / Computing / Computer programming

McGill University School of Computer Science Sable Research Group Component-Based Lock Allocation Sable Technical Report No

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-05-17 17:55:00
130Consistency model / Sequential consistency / Parallel computing / Transaction processing / Concurrency control / Linearizability

Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 9 Time Bounds for Strong and Hybrid Consistency for Arbitrary Abstract Data Types

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 1999-10-13 17:18:06
UPDATE